Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
281	Analyzing Infeasible Optimization Models John W. Chinneck Systems & Computer Engineering Carleton University Ottawa, Canada Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2004-05-25 08:57:34 Applied mathematics Mathematics Linear programming Constraint Logic programming Mathematical analysis Operations research Mathematical optimization Convex optimization
282	Analyzing Mathematical Programs using MProbe John W. Chinneck Systems and Computer Engineering Carleton University 1125 Colonel By Drive Ottawa, Ontario K1S 5B6 Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2000-04-14 10:05:16 Operations research Convex optimization Convex analysis Mathematical modeling Convex function Linear programming Nonlinear programming Duality Constraint logic programming Mathematical optimization Mathematics Mathematical analysis
283	Conflict-Guided Simplification for SAT Michael L. Case1,2 , Sanjit A. Seshia1 , Alan Mishchenko1 , and Robert K. Brayton1 1 2 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-01-31 13:42:07 Logic in computer science NP-complete problems Automated theorem proving Constraint programming Electronic design automation Boolean satisfiability problem Resolution Conjunctive normal form Satisfiability Modulo Theories Theoretical computer science Mathematics Applied mathematics
284	FIS2005 http://www.mdpi.org/fis2005/ Information and Meaning in Life, Humans and Robots. Christophe Menant. Bordeaux France. Add to Reading List Source URL: www.mdpi.org Language: English - Date: 2006-01-30 10:18:57 Programming paradigms Cognition Constraint satisfaction Consciousness Constraint Logic programming Information Cognitive science Mind Philosophy of mind
285	Bi-Decomposition of Multi-Valued Relations Alan Mishchenko α α Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 04:01:38 Constraint programming Decomposition method Model theory Boolean algebra Function Canonical form Multivalued function Interpretation Binary decision diagram Mathematics Mathematical logic Functions and mappings
286	P ROCEEDINGS OF THE ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2011 http://csclp2011.cs.st-andrews.ac.uk April 12th-13th, 2011 Editors Add to Reading List Source URL: csclp2011.cs.st-andrews.ac.uk Language: English - Date: 2011-04-11 08:39:34 Computer programming Constraint satisfaction Constraint logic programming Logic programming Answer set programming Mathematical optimization Oz ECLiPSe Constraint graph Constraint programming Software engineering Declarative programming
287	Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP[removed]April 2011 Kings Manor, University of York Programme of Events Tuesday 12th April Add to Reading List Source URL: csclp2011.cs.st-andrews.ac.uk Language: English - Date: 2011-04-11 08:39:34 Computing Constraint logic programming Logic programming Answer set programming Constraint satisfaction problem Constraint Mathematical optimization Constraint programming Software engineering Computer programming
288	2) Some prerequisites for a study of the evolution of cognition in the animal kingdom foundations Add to Reading List Source URL: crmenant.free.fr Language: English - Date: 2014-07-04 05:26:55 Programming paradigms Constraint satisfaction Linguistics Symbol grounding Logic Constraint programming Logic programming Information Meaning Philosophy of language Semantics Analytic philosophy
289	Spatio-Temporal Stream Reasoning with Incomplete Spatial Information Fredrik Heintz and Daniel de Leng Link¨oping University, [removed]Link¨oping, Sweden Abstract. Reasoning about time and space is essential for many app Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2014-08-04 07:34:55 Knowledge representation Cognitive science Reasoning Constraint programming Educational psychology Spatial–temporal reasoning Qualitative reasoning Region connection calculus Temporal logic Logic Science Mathematics
290	A Delegation-Based Cooperative Robotic Framework Patrick Doherty and Fredrik Heintz Dept. of Computer and Information Science, Link¨oping University, Sweden {patrick.doherty, fredrik.heintz}@liu.se Abstract— Cooperat Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 11:41:08 Artificial intelligence Contract Net Protocol Tree Constraint logic programming B-tree Static single assignment form Logic programming Computing Constraint programming Software engineering

UPDATE